doc: Disable extension incompatible with Sphinx 3
authorBen Hutchings <benh@debian.org>
Sat, 22 Aug 2020 02:13:44 +0000 (03:13 +0100)
committerSalvatore Bonaccorso <carnil@debian.org>
Sat, 5 Sep 2020 14:52:44 +0000 (15:52 +0100)
commit820e3d3c87d64fb29b347e962239384ba3044288
tree918ced5a448aa71c9b20d61981799187eb0ad6ed
parent2a205f688fe56069abff974adda084011058869f
doc: Disable extension incompatible with Sphinx 3

The cdomain extension needs major changes to work with Sphinx 3.
For now, disable it.

Gbp-Pq: Topic debian
Gbp-Pq: Name doc-disable-extension-incompatible-with-sphinx-3.patch
Documentation/conf.py